منابع مشابه
efl learners collocational knowledge in writing and translation
این مطالعه به بررسی دانش همنشین های دانشجویان زبان انگلیسی فارسی زبان می پردازد. در ابتدا، ارتباط یین دانش عمومی زبان و دانش همنشین های زبان آموزان مورد بررسی قرار می گیرد. دومین هدف این مطالعه بررسی استراتژیهای مورد استفاده در ترجمه همنشین های انگلیسی به فارسی است. در نهایت، خطا های زبان آموزان در تولید و درک همنشین ها مورد آنالیز و بررسی قرار می گیرد. دویست و بیست هفت دانشجوی زبان در این مطال...
Functional identities of degree 2 in CSL algebras
Let $mathscr{L}$ be a commutative subspace lattice generated by finite many commuting independent nests on a complex separable Hilbert space $mathbf{H}$ with ${rm dim}hspace{2pt}mathbf{H}geq 3$, ${rm Alg}mathscr{L}$ the CSL algebra associated with $mathscr{L}$ and $mathscr{M}$ be an algebra containing ${rm Alg}mathscr{L}$. This article is aimed at describing the form of additive mapppi...
متن کاملAutomata-Based CSL Model Checking
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. The presented decision procedure, however, has exponential complexity. In this paper, we propose an effective approximation algorithm for full CSL. The key to our method is the notion of s...
متن کاملSingle-flavor CSL phase in compact stars
We suggest a scenario where the three light quark flavors are sequentially deconfined under increasing pressure in cold asymmetric nuclear matter as, e.g., in neutron stars. The basis for our analysis is a chiral quark matter model of Nambu–Jona-Lasinio (NJL) type with diquark pairing in the spin-1 single flavor (CSL), spin-0 two flavor (2SC) and three flavor (CFL) channels. We find that nucleo...
متن کاملTowards compositional CSL model checking
The Continuous Stochastic Logic (CSL) is a powerful means to state properties which refer to Continuous Time Markov Chains (CTMCs). The verification of such properties on a model can be achieved through a suitable algorithm. In this doctoral thesis, the CSL logic has been considered and two major aspects have been addressed: the analysis of its expressiveness and the study of methods for a deco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1966
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/9.2.137